منابع مشابه
On Foreman's Maximality Principle
In this paper we consider Foreman’s maximality principle, which says that any non-trivial forcing notion either adds a new real or collapses some cardinals. We prove the consistency of some of its consequences. We observe that it is consistent that every c.c.c. forcing adds a real and that for every uncountable regular cardinal κ, every κ-closed forcing of size 2<κ collapses some cardinal.
متن کاملA simple maximality principle
In this paper, following an idea of Christophe Chalons, I propose a new kind of forcing axiom, the Maximality Principle, which asserts that any sentence φ holding in some forcing extension V P and all subsequent extensions V P∗Q̇ holds already in V . It follows, in fact, that such sentences must also hold in all forcing extensions of V . In modal terms, therefore, the Maximality Principle is exp...
متن کاملOptimal Stopping of the Maximum Process: The Maximality Principle
where S = (St)t 0 is the maximum process associated with the one-dimensional time-homogeneous diffusion X = (Xt)t 0 , the function x 7! c(x) is positive and continuous, and the supremum is taken over all stopping times of X for which the integral has finite expectation. It is proved, under no extra conditions, that this problem has a solution, i.e. the payoff is finite and there is an optimal s...
متن کاملOn certain maximality principles
We present streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$.
متن کاملOn C-maximality
This paper investigates a connection between the semantic notion provided by the ordering C∗ among theories in model theory and the syntactic (N)SOPn hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP2 and SOP1. It is shown here that SOP3 implies SOP2 implies SOP1. In [Sh 500] it was shown that SOP3 implies C ∗-maximality and we prove he...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2016
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2016.21